A digital design flow for secure integrated circuits
نویسندگان
چکیده
منابع مشابه
A MEMS Capacitive Microphone Modelling for Integrated Circuits
In this paper, a model for MEMS capacitive microphone is presented for integrated circuits. The microphone has a diaphragm thickness of 1 μm, 0.5 × 0.5 mm2 dimension, and an air gap of 1.0 μm. Using the analytical and simulation results, the important features of MEMS capacitive microphone such as pull-in voltage and sensitivity are obtained 3.8v and 6.916 mV/Pa, respectively while there is no...
متن کاملA New Approach For The Design Of Low Power Dynamic Differential Logic For Secure Integrated Circuits
SMART cards are small integrated circuits (ICs) embedded onto plastic or tokens, and are used for authentication, identification, and personal data storage. They are used by the military, in automatic teller machines, mobile phone subscriber identity module cards, by schools for tracking class attendance, and storing certificates for use in secure web browsing. They are also used internationall...
متن کاملDesign flow for Digital Integrated DC/DC Converter
A design flow for a family of DC/DC converters with integrated switches and digital controller is realized. This design flow contains simulation and hardware evaluation tools which result in a fast optimization of the converter and a fast realization on silicon. The design flow makes extensive use of tools known from a digital design environment. The design flow covers the whole range from init...
متن کاملIntegrated Design Validation: Combining Simulation and Formal Verification for Digital Integrated Circuits
The correct design of complex hardware continues to challenge engineers. Bugs in a design that are not uncovered in early design stages can be extremely expensive. Simulation is a predominantly used tool to validate a design in industry. Formal verification overcomes the weakness of exhaustive simulation by applying mathematical methodologies to validate a design. The work described here focuse...
متن کاملStatic Simulation of CNTFET-based Digital Circuits
In this paper we implement a simple DC model for CNTFETs already proposed by us in order to carry out static analysis of basic digital circuits. To verify the validity of the obtained results, they are compared with those of Wong model, resulting in good agreement, but obtaining a lighter ensuring compile and shorter execution time, which are the main character...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 2006
ISSN: 0278-0070
DOI: 10.1109/tcad.2005.855939